Validating Evolving Simulations in COERCE
نویسندگان
چکیده
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation, and novel techniques for exploring emergent behavior. Uncertainty representation, using formalisms such as Dempster-Shafer theory, can capture designer insight about uncertainty, enabling formal analysis and improving communication with decision and policy makers. Lightweight validation employs targeted program analysis and automated regression testing to maintain user confidence as adaptations occur. Emergent behavior validation exploits the semi-automatic adaptation capability of COERCE to make exploration of such behavior efficient and productive. We describe our research on these three technologies and their impact on validating dynamically evolving simulations.
منابع مشابه
Language Support for Identifying Flexible Points in Coercible Simulations
Simulation developers are forced to make assumptions about how their simulations will be used and possibly revised to support reuse. Even when developers are aware of potential future adaptations for reuse, current programming languages do not support expression of design alternatives reflecting those adaptations. One can use program documentation to describe them, but documentation does not su...
متن کاملLanguage Support for Identifying Flexible Points in Coercible S
Simulation developers are forced to make assumptions about how their simulations will be used and possibly revised to support reuse. Even when developers are aware of potential future adaptations for reuse, current programming languages do not support expression of design alternatives reflecting those adaptations. One can use program documentation to describe them, but documentation does not su...
متن کاملTo Coerce or Not to Coerce: A Corpus-based Exploration of Some Complement Coercion Verbs in Chinese
This study takes a corpus-based approach to examine twenty Chinese verbs that have been found to coerce their NP complements into an event type (cf. Lin et al. 2009), with an aim of creating a coercion profile for each verb. A cluster analysis is further conducted on the coercion profiles. The resulting clusters in our analysis show a bi-directional distribution: the verbs in Cluster 1 are foun...
متن کاملOpponent-driven planning and execution for pass, attack, and defense in a multi-robot soccer team
We present our Small Size League (SSL) robot soccer team, CMDragons, which performed strongly at the RoboCup’13 competition, placing second out of twenty teams after a prolonged final match ending in penalty shoot-outs. We briefly present the robots’ hardware and individual skills, and then focus on our multi-robot passing, attack, and defense planning and execution in the challenging SSL adver...
متن کامل